Từ hồi đại phu Chèo Bẻo cuối xóm già ngẫn, nhớ nhớ quên quên, mất khả năng khám chữa bệnh, cơ bản tình hình sức khỏe xóm chim xuống dốc. Nhiều chuyện kỳ quái xảy ra chỉ vì cái sự đi xuống của sức khỏe vật lý lẫn tinh thần của chúng chim trong xóm.

Hồi lâu ngài Bói-Cá bận bịu. Xóm giục giã mãi chưa có chuyện gì nghe khôn khôn để kể. Trí khôn xóm chim giảm đi đáng kể.

he present study aims to offer an analysis of the analogical discourse on God from STh. I, q.13 a.3-4. Thomas Aquinas's claim consists, mainly, of presenting a solution to the problem of the foundations that support the theological discourse on God. But before analyzing this question, our author has established the conditions of possibility for the knowledge about God. It is just this specific framework of previous questions the place of the debate on the analogy, which is considered, in addition, (...) as a type of indirect language that points beyond itself. Keywords: Analogy, Proportion, Proportionality, Knowledge, Thomas Aquinas. El presente estudio pretende ofrecer un análisis del discurso analógico sobre Dios a partir de STh. I, q.13, aa.3-4. La intención de Tomás de Aquino consiste, principalmente, en presentar una solución al problema de los fundamentos que asisten al discurso teológico sobre Dios. Pero antes de analizar dicha cuestión, nuestro autor ha establecido las condiciones de posibilidad para un conocimiento sobre el mismo. Es precisamente en este marco concreto de cuestiones previas donde se sitúa el debate sobre la analogía, considerada, además, como un tipo de lenguaje indirecto que apunta más allá de sí mismo. Palabras clave: analogía, proporción, proporcionalidad, conocimiento, Tomás de Aquino. T. (shrink)

Formal semantics has so far focused on three categories of quantifiers, to wit, Q-determiners (e.g. 'every'), Q-adverbs (e.g. 'always'), and Q-auxiliaries (e.g. 'would'). All three can be analyzed in terms of tripartite logical forms (LF). This paper presents evidence from verbs with distributive affixes (Q-verbs) in Kalaallisut, Polish, and Bininj Gun-wok, which cannot be analyzed in terms of tripartite LFs. It is argued that a Q-verb involves discourse reference to a distributive verbal dependency, i.e. an episode-valued function that sends different (...) semantic objects in a contextually salient plural domain to different episodes. (shrink)

Richard Arthur and I proposed that the present in Minkowski spacetime should be thought of as a small causal diamond. That is, given two timelike separated events p and q, with p earlier than q, they suggested that the present is the set I+ ∩ I-. Mauro Dorato presents three criticisms of this proposal. I rebut all three and then offer two more plausible criticisms of the Arthur/Savitt proposal. I argue that these criticisms also fail.

Formal semantics has so far focused on three categories of quantifiers, to wit, Q-determiners (e.g. 'every'), Q-adverbs (e.g. 'always'), and Q-auxiliaries (e.g. 'would'). All three can be analyzed in terms of tripartite logical forms (LF). This paper presents evidence from verbs with distributive affixes (Q-verbs), in Kalaallisut, Polish, and Bininj Gun-wok, which cannot be analyzed in terms of tripartite LFs. It is argued that a Q-verb involves discourse reference to a distributive verbal dependency, i.e. an episode-valued function that sends different (...) semantic objects in a contextually salient plural domain to different episodes. (shrink)

In 1980 F. Wattenberg constructed the Dedekind completion

d of the Robinson non-archimedean field

and established basic algebraic properties of

d [6]. In 1985 H. Gonshor established further fundamental properties of

d [7].In [4] important construction of summation of countable sequence of Wattenberg numbers was proposed and corresponding basic properties of such summation were considered. In this paper the important applications of the Dedekind completion

d in transcendental number theory were considered. We dealing using set theory ZFC
(
-model of ZFC).Given (...) an class of analytic functions of one complex variable f  

z, we investigate the arithmetic nature of the values of fz at transcendental points en, n  .Main results are: (i) the both numbers e
 and e   are irrational, (ii) number ee is transcendental. Nontrivial generalization of the Lindemann- Weierstrass theorem is obtained. (shrink)

O argumento zumbi negativo parte das premissas de que p ∧ ¬q é idealmente negativamente concebível, de que o que é idealmente negativamente concebível é possível e de que o fisicalismo é incompatível com a possibilidade de p ∧ ¬q para concluir que o fisicalismo é falso. No argumento, p é a conjunção das verdades e leis físicas fundamentais e q é uma verdade fenomenal qualquer. Uma sentença φ é idealmente negativamente concebível sse um raciocinador ideal não acredita que ¬φ (...) em reflexão priori. Uma versão da tese da escrutabilidade pressuposta pelo argumento afirma que, para todo φ que sobrevém em p, o raciocinador ideal acredita que p → φ em reflexão a priori. Nesse artigo, argumento que, dado algumas interpretações relevantes da noção de probabilidade (pr(.)), o raciocinador ideal acredita verdadeiramente, para todo φ, que p → pr(φ) = x em reflexão a priori. Mas então, dependendo do valor de pr(q) e das correlações entre q e outras sentenças, o raciocinador ideal também acredita (provavelmente, verdadeiramente) que p → q em reflexão a priori. Então, para alguns qs relevantes, p ∧ ¬q não é idealmente negativamente concebível e o argumento zumbi tem uma premissa falsa. A escolha de um q adequado dependeria de informação empírica, o que faria o argumento zumbi não ser nem conclusivo, nem a priori. ENGLISH: The negative zombie argument has as premises that p∧¬q is ideally negatively conceivable, that what is ideally negatively conceivable is possible, and that Physicalism is incompatible with p∧¬q being possible and as conclusion that Physicalism is false. In the argument, p is the conjunction of the fundamental physical truths and laws and q is an arbitrary phenomenal truth. A sentence φ is ideally negatively conceivable if and only if an ideal reasoner does not believe that ¬φ on a priori reflection. The argument presupposes a version of the scrutability thesis stating that, for all φ that supervene on p, the ideal reasoner believes that p → φ on a priori reflection. In this paper, I argue that, given relevant interpretation of probabilities, the ideal reasoner believes truly, for all φ, that p → pr(φ) = x on a priori reflection. But then, depending on the value of pr(q) and the correlations between q and other sentences, the ideal reasoner also believes (probably, truly) that p → q on a priori reflection. For some relevant qs, p∧¬q is not ideally negatively conceivable and the zombie argument has a false premise. The choice of an adequate q depends on empirical information, what makes the zombie argument neither conclusive nor a priori. (shrink)

The topics approached in the 52 papers included in this book are: neutrosophic sets; neutrosophic logic; generalized neutrosophic set; neutrosophic rough set; multigranulation neutrosophic rough set (MNRS); neutrosophic cubic sets; triangular fuzzy neutrosophic sets (TFNSs); probabilistic single-valued (interval) neutrosophic hesitant fuzzy set; neutro-homomorphism; neutrosophic computation; quantum computation; neutrosophic association rule; data mining; big data; oracle Turing machines; recursive enumerability; oracle computation; interval number; dependent degree; possibility degree; power aggregation operators; multi-criteria group decision-making (MCGDM); expert set; soft sets; LA-semihypergroups; single valued (...) trapezoidal neutrosophic number; inclusion relation; Q-linguistic neutrosophic variable set; vector similarity measure; fundamental neutro-homomorphism theorem; neutro-isomorphism theorem; quasi neutrosophic triplet loop; quasi neutrosophic triplet group; BE-algebra; cloud model; Maclaurin symmetric mean; pseudo-BCI algebra; hesitant fuzzy set; photovoltaic plan; decision-making trial and evaluation laboratory (DEMATEL); Choquet integral; fuzzy measure; clustering algorithm; and many more. (shrink)

Derrida suggests in Speech a n d Phenomena that for Husserl subjectivity is constituted and entails no identity with itself at the level of the living present. He further suggests that Husserl’s understanding of absolute subjectivity is “as absolutely present and absolutely self-present being, only in its opposition to the object.”’ In making such claims, Derrida is not giving as much weight to Husserl’s manuscripts from the 1930s as those warrant. The manuscripts may serve to draw Derrida’s claims into question.2 (...) They provide a n interesting look at the question of subjectivity in light of intersubjectivity and present the possibility of conceiving identity and alterity within the streaming living present. The ambiguity and complexity we find in Husserl’s manuscripts in particular suggests that Husserl was prepared t o address absence even at the most fundamental level of phenomenological discovery. In the following, I will explore several of Husserl’s manuscripts in order to indicate how he might escape Derrida’s ~ r i t i q u e . ~ This will raise several questions with respect to the phenomenological subject and its relation to the alterity of the other. Through such an investi- gation, we will see how it is possible to accept Derrida’s criticism of a metaphysics of presence, while recognizing that the criticism does not mean we must reject Husserlian phenom- enology as an example of such. (shrink)

The purpose of this essay is to look at whether Aquinas teaches in De veritate [DV], q. 1, a. 4, that truth is a form inherent in things. I take up this investigation because I am examining Lawrence Dewan's account of Aquinas's teaching on truth.1 On Dewan's account, a significant development occurs in Aquinas's teaching as regards truth as it is found in things. Before the Summa theologiae [ST], Aquinas thought that in addition to truth being in the intellect, it (...) was also in things. In ST, most explicitly in I, q. 16, a. 6, Aquinas no longer thinks that it is in things, but only in the mind. When Dewan says that before the ST truth is "in things" and in the ST it is not "in things," in both cases, by "in things," Dewan means "as a form inherent in things." What exactly this means for Dewan will be gradually brought out as I examine the text Dewan thinks most clearly teaches that truth is a form inherent in things: DV, q. 1, a. 4. (shrink)

I present a cumulative case for the thesis that we only know propositions that are certain for us. I argue that this thesis can easily explain the truth of eight plausible claims about knowledge: -/- (1) There is a qualitative difference between knowledge and non-knowledge. (2) Knowledge is valuable in a way that non-knowledge is not. (3) Subjects in Gettier cases do not have knowledge. (4) If S knows that P, P is part of S’s evidence. (5) If S knows (...) that P, ~P is epistemically impossible for S. (6) If S knows that P, S can rationally act as if P. (7) If S knows that P, S can rationally stop inquiring whether P. (8) If S knows each of {P1, P2, … Pn}, and competently deduces Q from these propositions, S knows that Q. -/- I then argue that the skeptical costs of this thesis are outweighed by its explanatory power. (shrink)

I argue that ⌜p or q⌝ can be interpreted as (p ∨ q) ∧ ♢p ∧ ♢q, where ♢ is a possibility modal whose flavor can be epistemic, circumstantial, or deontic. I show that no extant theory can account for this generalization, and argue that the best way to do so is with a direct theory on which ‘or’ means λp.λq.(p∨q)∧♢p∧♢q. I show that the resulting theory also yields an appealing account of both wide- and narrow-scope free choice inferences.

I argue with my friends a lot. That is, I offer them reasons to believe all sorts of philosophical conclusions. Sadly, despite the quality of my arguments, and despite their apparent intelligence, they don’t always agree. They keep insisting on principles in the face of my wittier and wittier counterexamples, and they keep offering their own dull alleged counterexamples to my clever principles. What is a philosopher to do in these circumstances? (And I don’t mean get better friends.) One popular (...) answer these days is that I should, to some extent, defer to my friends. If I look at a batch of reasons and conclude p, and my equally talented friend reaches an incompatible conclusion q, I should revise my opinion so I’m now undecided between p and q. I should, in the preferred lingo, assign equal weight to my view as to theirs. This is despite the fact that I’ve looked at their reasons for concluding q and found them wanting. If I hadn’t, I would have already concluded q. The mere fact that a friend (from now on I’ll leave off the qualifier ‘equally talented and informed’, since all my friends satisfy that) reaches a contrary opinion should be reason to move me. Such a position is defended by Richard Feldman (2006a, 2006b), David Christensen (2007) and Adam Elga (forthcoming). This equal weight view, hereafter EW, is itself a philosophical position. And while some of my friends believe it, some of my friends do not. (Nor, I should add for your benefit, do I.) This raises an odd little dilemma. If EW is correct, then the fact that my friends disagree about it means that I shouldn’t be particularly confident that it is true, since EW says that I shouldn’t be too confident about any position on which my friends disagree. But, as I’ll argue below, to consistently implement EW, I have to be maximally confident that it is true. So to accept EW, I have to inconsistently both be very confident that it is true and not very confident that it is true. This seems like a problem, and a reason to not accept EW.. (shrink)

I here argue for a particular formulation of truth-deflationism, namely, the propositionally quantified formula, (Q) “For all p, <p> is true iff p”. The main argument consists of an enumeration of the other (five) possible formulations and criticisms thereof. Notably, Horwich’s Minimal Theory is found objectionable in that it cannot be accepted by finite beings. Other formulations err in not providing non-questionbegging, sufficiently direct derivations of the T-schema instances. I end by defending (Q) against various objections. In particular, I argue (...) that certain circularity charges rest on mistaken assumptions about logic that lead to Carroll’s regress. I show how the propositional quantifier can be seen as on a par with first-order quantifiers and so equally acceptable to use. While the proposed parallelism between these quantifiers is controversial in general, deflationists have special reasons to affirm it. I further argue that the main three types of approach the truth-paradoxes are open to an adherent of (Q), and that the derivation of general facts about truth can be explained on its basis. (shrink)

Abstract: When I throw a ball at you, do you see it as catch-able? Do we perceive objects as edible, climbable or Q-able in general? One could argue that it is just a manner of speaking to say so: we do not really see an object as edible, we only infer on the basis of its other properties that it is. I argue that whether or not an object is edible or climbable is indeed represented perceptually: we see objects as (...) edible, and do not just believe that they are. My argument proceeds in two steps. First, I argue that in order to perform an action Q with respect to an object, we need to represent this object as Q-able and, second, I argue that we represent objects as having these properties perceptually. (shrink)

q. 16 of John of Naples’ Quodlibet III – Utrum dolor vel passio damnatae animae separatae sit, sicut in subiecto immediato, in eius essentia vel potentia – evokes one of the most delicate debates, both from a theological and philosophical point of view, of scholastic eschatology between the end of the 13th century and the first decades of the 14th: that relating to the action of hellfire (considered, due to the auctoritas of Gregory the Great, corporeal and identical in essence (...) to sublunar fire) on an immaterial reality such as the soul in its state of separation (i.e. in the period between the individual death and the final judgement). The article retraces the way in which (in the well-known q. 2 of Quodlibet VI) John of Naples defends Thomas Aquinas from the suspicion of incurring, with his position, the condemnations of Tempier in 1270 and 1277, and how Aquinas himself tries to explain (especially in q. 26 of his Quaestiones disputatae de veritate) the passio or pain of the soul (both in the state of separation and in that of conjunction), through the double distinction between passio corporalis and passio animalis, and, within the former, between laesio and experimentalis perceptio laesionis. It then analyses q. 16 of Quodlibet III, in which John of Naples identifies the rational appetite – i.e. the will – as the immediate subject of the separate soul’s pain. In the appendix, an edition of John’s question is provided on the basis of the manuscripts Napoli, Biblioteca Nazionale, VII.B. 28 (= N) and Tortosa, Biblioteca de la Catedral, 244 (= T). (shrink)

In this paper, I draw attention to comparative preference claims, i.e. sentences of the form \S prefers p to q\. I show that preference claims exhibit interesting patterns, and try to develop a semantics that captures them. Then I use my account of preference to provide an analysis of desire. The resulting entry for desire ascriptions is independently motivated, and finds support from a wide range of phenomena.

In a time when conservatives believe that the traditional family is under increasing fire, some think an appeal to Darwinian science may be the answer. I argue that these conservatives are wrong to maintain that Darwinian theory can serve as the intellectual foundation for the traditional conception of the family. Contra Larry Arnhart and James Q. Wilson, a Darwinian philosophy of nature simply lacks the stability the traditional family requires; it cannot support the traditional conception of human nature and the (...) normativity it was thought to contain. If conservatives are to maintain these traditional ideas, the theoretical foundation must lie elsewhere. (shrink)

In this chapter, I shall consider a number of connections between various ideas of the theory of styles of reasoning and the issue of the contingency and inevitability of science. By ‘contingency issue’ it is meant the question as to whether the history of a particular branch of our science could have taken a different route and provided results incompatible with those of our actual science. Apart from Hacking’s recent comments, the discussions on the contingency issue have not involved the (...) notion of style of reasoning. I will fill this gap in the literature by drawing some important implications for the issue of contingency from the theory of styles of reasoning that I have developed so far. I shall address four fundamental questions. First of all, in the next section I shall discuss to which extent the emergence of styles of reasoning at a certain point of history is a contingent circumstance. In the following section I shall ask whether the endurance of styles of reasoning was inevitable by tackling the connected question as to why the styles are long lasting. Afterwards, I shall focus on the growth of knowledge by dealing with questions such as: if a certain style of reasoning continues to be employed and if Q is a ‘live question’, is science bound to converge on a single answer to Q? Finally, on the basis of my previous reflections I shall look into the question of the convergence of science in the long run. The answers to these questions will rely on some basic assumptions of the theory of style of reasoning and imply a picture of the evolution of sciences in which both contingency and inevitability play a key role. (shrink)

In the present article relationship of thought and language for the priority aspect, from al-Fārābī’s point of view is discussed. Based on the three meanings of nuṭq (: speech), speaking is a process in which human soul is concerned with the three levels of intellectual faculty, apprehended objects in the mind as well as the expression by language. Then, this reveals a close and inseparable relationship between language and thought. Again it is suggested that relying on the tripartite theory of (...) word, world, and intelligibles, by Al-Fārābī, at the time of the process of speaking, human soul makes use of all knowledge either acquired previously, or the knowledge obtaining as the content of experience in the actual speech situation. Thus, in connection with the priority aspect of the relationship between thought and language, I suppose, in an analytical aspect of priority, there is no priority relation between them, namely, they are interdependent. It can be supported by this view that thought and gaining knowledge are continued even while speaking. Besides, it has been argued that the human soul, as the chief agent of thinking and obtaining knowledge, is not completely passive; then human thought cannot have transcendental supremacy over language. (shrink)

In this paper I address two important objections to the theory called ‘ Composition as Identity’ : the ‘wall-bricks-and-atoms problem’, and the claim that CAI entails mereological nihilism. I aim to argue that the best version of CAI capable of addressing both problems is the theory I will call ‘Atomic Composition as Identity’ which consists in taking the plural quantifier to range only over proper pluralities of mereological atoms and every non-atomic entity to be identical to the plurality of atoms (...) it fuses. I will proceed in three main steps. First, I will defend Sider’s Composition as identity. Oxford University Press, Oxford, pp 211–221, 2014) idea of weakening the comprehension principle for pluralities and I will show that :219–235, 2016a) it can ward off both the WaBrA problem and the threat of mereological nihilism. Second, I will argue that CAI-theorists should uphold an ‘atomic comprehension principle’ which, jointly with CAI, entails that there are only proper pluralities of mereological atoms. Finally, I will present a novel reading of the ‘one of’ relation that not only avoids the problems presented by Yi Composition as identity. Oxford University Press, Oxford, pp 169–191, 2014) and Calosi :429–443, 2016b, Am Philos Q 55:281–292, 2018) but can also help ACAI-theorists to make sense of the idea that a composite entity is both one and many. (shrink)

In this paper I suggest an account of knowledge by adding a fourth condition to the traditional analysis in terms of justified true belief. I am going to make a first proposal ruling out the Gettier-counterexamples.1 This proposal will then be corrected in the light of other counterexamples. The final analysis will be a combination of a justified-true-belief-account and a causal account of knowledge. Some philosophers have disputed that Gettier‟s examples must be accepted as refutations of the justified true belief (...) analysis of knowledge.2 Their rejection rests on declining a principle underlying Gettier‟s reasoning, namely – as Thalberg calls it – the principle of deducibility of justification (PDJ). PDJ reads as following: For any proposition p, if a person S is justified in believing p, and p entails q, and S deduces q from p and accepts q as a result of this deduction, then S is justified in believing q. This principle allows, for example, the move in Gettier‟s first example from the proposition a) “Jones is the man who will get the job and Jones has ten coins in his pocket” to proposition b) “The man who will get the job has ten coins in his pocket”. 1. (shrink)

A number of philosophers endorse, without argument, the view that there’s something it’s like consciously to think that p, which is distinct from what it’s like consciously to think that q. This thesis, if true, would have important consequences for philosophy of mind and cognitive science. In this paper I offer an argument for it, and attempt to induce examples of it in the reader. The argument claims it would be impossible introspectively to distinguish conscious thoughts with respect to their (...) content if there weren’t something it’s like to think them. This argument is defended against several objections. Then I use what I call “minimal pair” experiences—sentences read without and with understanding—to induce in the reader an experience of the kind I claim exists. Further objections are considered and rebutted. (shrink)

In a series of recent papers, Jane Friedman has argued that attitudes like wondering, enquiring, and suspending judgement are question-directed and have the function of moving someone from a position of ignorance to one of knowledge. Call such attitudes interrogative attitudes. Friedman insists that all IAs are governed by the following Ignorance Norm: Necessarily, if one knows Q at t, then one ought not have an IA towards Q at t. However, I argue that key premisses in Friedman’s argument actually (...) point towards an opposing conclusion; namely, that IAs are not governed by the Ignorance Norm, and IAs have functions other than moving someone from a position of ignorance to one of knowledge. I conclude that the Ignorance Norm should be rejected. (shrink)

Do we (sometimes) perceive apples as edible? One could argue that it is just a manner of speaking to say so: we do not really see an object as edible, we see it as having certain shape, size and color and we only infer on the basis of these properties that it is. I argue that we do indeed see objects as edible, and do not just believe that they are. My argument proceeds in two steps. First, I point out (...) that Susanna Siegel's influential argument in favor of the claim that we represent sortal properties perceptually does not work. Second, I argue that we can fix this argument if we replace the sortal property in question with the property of being edible, climbable or Q-able in general. (shrink)

Quasi-set theory $\cal Q$ allows us to cope with certain collections of objects where the usual notion of identity is not applicable, in the sense that $x = x$ is not a formula, if $x$ is an arbitrary term. $\cal Q$ was partially motivated by the problem of non-individuality in quantum mechanics. In this paper I discuss the range of explanatory power of $\cal Q$ for quantum phenomena which demand some notion of indistinguishability among quantum objects. My main focus is (...) on the double-slit experiment, a major physical phenomenon which was never modeled from a quasi-set-theoretic point of view. The double-slit experiment strongly motivates the concept of degrees of indistinguishability within a field-theoretic approach, and that notion is simply missing in $\cal Q$. Nevertheless, other physical situations may eventually demand a revision on quasi-set theory axioms, if someone intends to use it in the quantum realm for the purpose of a clear discussion about non-individuality. I use this opportunity to suggest another way to cope with identity in quantum theories. (shrink)

In this paper, I inspect the grounds for the mature Spinozist argument for substance monism. The argument is succinctly stated at Ethics Part 1, Proposition 14. The argument appeals to two explicit premises: (1) that there must be a substance with all attributes; (2) that substances cannot share their attributes. In conjunction with a third implicit premise, that a substance cannot not have any attribute whatsoever, Spinoza infers that there can be no more than one substance. I begin the inspection (...) with the analysis of the first premise, which is provided in the form of the four proofs of God’s existence in Ethics Part 1, Proposition 11. While demonstrating how Spinoza adopts a progressive approach, where the fourth proof of God’s existence is more successful and persuasive than the third, which is more successful than the second, etc., I also unpack concepts central to Spinoza’s thinking here, including the concepts of reason (ratio) and power (potesta or potentia). I then analyze the second premise of the Spinozist argument for substance monism, as established by Ethics Part 1, Proposition 4 in conjunction with Ethics Part 1, Proposition 5. I take up and respond to the objection attributed to Leibniz that a substance p can have the attributes x and y and a substance q can have the attributes y and z, and thus that substances can share some attributes while remaining distinct. Throughout the study, my attention is focused on the argumentative procedures Spinoza adopts. This yields a close, internalist reading of the text where Spinoza effectively embraces substance monism. In conclusion to this study, I underscore to the originality of Spinoza’s argument for seventeenth century theories of substance. (shrink)

A teaching document I've used in my courses on truth and on incompleteness. Aimed at students who have a good grasp of basic logic, and decent math skills, it attempts to give them the background they need to understand a proper statement of the classic results due to Gödel and Tarski, and sketches their proofs. Topics covered include the notions of language and theory, the basics of formal syntax and arithmetization, formal arithmetic (Q and PA), representability, diagonalization, and the incompleteness (...) and undefinability theorems. (shrink)

Should philosophers prefer simpler theories? Huemer (Philos Q 59:216–236, 2009) argues that the reasons to prefer simpler theories in science do not apply in philosophy. I will argue that Huemer is mistaken—the arguments he marshals for preferring simpler theories in science can also be applied in philosophy. Like Huemer, I will focus on the philosophy of mind and the nominalism/Platonism debate. But I want to engage with the broader issue of whether simplicity is relevant to philosophy.

The new field of judgment aggregation aims to merge many individual sets of judgments on logically interconnected propositions into a single collective set of judgments on these propositions. Judgment aggregation has commonly been studied using classical propositional logic, with a limited expressive power and a problematic representation of conditional statements ("if P then Q") as material conditionals. In this methodological paper, I present a simple unified model of judgment aggregation in general logics. I show how many realistic decision problems can (...) be represented in it. This includes decision problems expressed in languages of classical propositional logic, predicate logic (e.g. preference aggregation problems), modal or conditional logics, and some multi-valued or fuzzy logics. I provide a list of simple tools for working with general logics, and I prove impossibility results that generalise earlier theorems. (shrink)

Physical dimensions like “mass”, “length”, “charge”, represented by the symbols [M], [L], [Q], are not numbers, but used as numbers to perform dimensional analysis in particular, and to write the equations of physics in general, by the physicist. The law of excluded middle falls short of explaining the contradictory meanings of the same symbols. The statements like “m tends to 0”, “r tends to 0”, “q tends to 0”, used by the physicist, are inconsistent on dimensional grounds because “m”, “r”, (...) “q” represent quantities with physical dimensions of [M], [L], [Q] respectively and “0” represents just a number—devoid of physical dimension. Consequently, due to the involvement of the statement “q tends to 0'', where q is the test charge” in the definition of electric field leads to either circular reasoning or a contradiction regarding the experimental verification of the smallest charge in the Millikan–Fletcher oil drop experiment. Considering such issues as problematic, by choice, I make an inquiry regarding the basic language in terms of which physics is written, with an aim of exploring how truthfully the verbal statements can be converted to the corresponding physico-mathematical expressions, where “physico-mathematical” signifies the involvement of physical dimensions. Such investigation necessitates an explanation by demonstration of “self inquiry”, “middle way”, “dependent origination”, “emptiness/relational existence”, which are certain terms that signify the basic tenets of Buddhism. In light of such demonstration I explain my view of “definition”; the relations among quantity, physical dimension and number; meaninglessness of “zero quantity” and the associated logico-linguistic fallacy; difference between unit and unity. Considering the importance of the notion of electric field in physics, I present a critical analysis of the definitions of electric field due to Maxwell and Jackson, along with the physico-mathematical conversions of the verbal statements. The analysis of Jackson’s definition points towards an expression of the electric field as an infinite series due to the associated “limiting process” of the test charge. However, it brings out the necessity of a postulate regarding the existence of charges, which nevertheless follows from the definition of quantity. Consequently, I explain the notion of undecidable charges that act as the middle way to resolve the contradiction regarding the Millikan–Fletcher oil drop experiment. In passing, I provide a logico-linguistic analysis, in physico-mathematical terms, of two verbal statements of Maxwell in relation to his definition of electric field, which suggests Maxwell’s conception of dependent origination of distance and charge ) and that of emptiness in the context of relative vacuum. This work is an appeal for the dissociation of the categorical disciplines of logic and physics and on the large, a fruitful merger of Eastern philosophy and Western science. Nevertheless, it remains open to how the reader relates to this work, which is the essence of emptiness. (shrink)

The strong law of large numbers and considerations concerning additional information strongly suggest that Beauty upon awakening has probability 1/3 to be in a heads-awakening but should still believe the probability that the coin landed heads in the Sunday toss to be 1/2. The problem is that she is in a heads-awakening if and only if the coin landed heads. So, how can she rationally assign different probabilities or credences to propositions she knows imply each other? This is the problem (...) I address in this article. I suggest that ‘p whenever q and vice versa’ may be consistent with p and q having different probabilities if one of them refers to a sample space containing ordinary possible worlds and the other to a sample space containing centred possible worlds, because such spaces may fail to combine into one composite probability space and, as a consequence, ‘whenever’ may not be well defined; such is the main contribution of this article. 1The Sleeping Beauty Game2Groisman’s and Peter Lewis’s Approaches3Discussing Beauty’s Credences4The Principle of Equivalence's Failure5Making Sense of the Principle of Equivalence's Failure6Elga’s and Lewis’s Approaches7ConclusionAppendix. (shrink)

Most of our memories are inferential, so says Sven Bernecker in Memory: A Philosophical Study. I show that his account of inferentially remembering that p is too strong. A revision of the account that avoids the difficulty is proposed. Since inferential memory that p is memory that q (a proposition distinct from p) with an admixture of inference from one’s memory that q and a true thought one has that r, its analysis presupposes an adequate account of the (presumably non-inferential) (...) memory that q. Bernecker’s account of non-inferentially remembering that is shown to be inadequate. A remedy lies in strengthening the account by requiring the rememberer to have had prima facie justification to believe that q, any defeaters of which were misleading. (shrink)

This paper critically examines currently influential transparency accounts of our knowledge of our own beliefs that say that self-ascriptions of belief typically are arrived at by “looking outward” onto the world. For example, one version of the transparency account says that one self-ascribes beliefs via an inference from a premise to the conclusion that one believes that premise. This rule of inference reliably yields accurate self-ascriptions because you cannot infer a conclusion from a premise without believing the premise, and so (...) you cannot infer from a premise that you believe the premise unless you do believe it. I argue that this procedure cannot be a source of justification, however, because one can be justified in inferring from p that q only if p amounts to strong evidence that q is true. This is incompatible with the transparency account because p often is not very strong evidence that you believe that p. For example, unless you are a weather expert, the fact that it will rain is not very strong evidence that you believe it will rain. After showing how this intuitive problem can be made precise, I conclude with a broader lesson about the nature of inferential justification: that beliefs, when justified, must be underwritten by beliefs, when justified, must be underwritten by evidential relationships between the facts or propositions which those beliefs represent. (shrink)

Semantic information is usually supposed to satisfy the veridicality thesis: p qualifies as semantic information only if p is true. However, what it means for semantic information to be true is often left implicit, with correspondentist interpretations representing the most popular, default option. The article develops an alternative approach, namely a correctness theory of truth (CTT) for semantic information. This is meant as a contribution not only to the philosophy of information but also to the philosophical debate on the nature (...) of truth. After the introduction, in Sect. 2, semantic information is shown to be translatable into propositional semantic information (i). In Sect. 3, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in Sect. 4, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + A]. This completes the reduction of the truth of i to the correctness of A. In Sects. 5 and 6, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates Q by verifying and validating it (in the computer science’s sense of verification and validation ); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of proxy ) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of commutation ); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. Sect. 7 provides some further clarifications about CTT, in the light of semantic paradoxes. Section 8 draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. In the course of the article all technical expressions from computer science are explained. (shrink)

Paraconsistent logics are logical systems that reject the classical principle, usually dubbed Explosion, that a contradiction implies everything. However, the received view about paraconsistency focuses only the inferential version of Explosion, which is concerned with formulae, thereby overlooking other possible accounts. In this paper, we propose to focus, additionally, on a meta-inferential version of Explosion, i.e. which is concerned with inferences or sequents. In doing so, we will offer a new characterization of paraconsistency by means of which a logic is (...) paraconsistent if it invalidates either the inferential or the meta-inferential notion of Explosion. We show the non-triviality of this criterion by discussing a number of logics. On the one hand, logics which validate and invalidate both versions of Explosion, such as classical logic and Asenjo–Priest’s 3-valued logic LP. On the other hand, logics which validate one version of Explosion but not the other, such as the substructural logics TS and ST, introduced by Malinowski and Cobreros, Egré, Ripley and van Rooij, which are obtained via Malinowski’s and Frankowski’s q- and p-matrices, respectively. (shrink)

forthcoming in reisner and steglich-peterson, eds., Reasons for Belief If I believe, for no good reason, that P and I infer (correctly) from this that Q, I don’t think we want to say that I ‘have’ P as evidence for Q. Only things that I believe (or could believe) rationally, or perhaps, with justification, count as part of the evidence that I have. It seems to me that this is a good reason to include an epistemic acceptability constraint on evidence (...) possessed…1 It is a truism that adopting an unjustified belief does not put you in a better evidential position with respect to believing its consequences. This truism has led many philosophers to assume that there must, at a minimum, be a justification condition (and perhaps even a knowledge condition) on what it takes to count as having evidence. This is the best (or only) possible explanation of the truism, these philosophers have believed. This paper explores an alternative explanation for the truism. According to the alternative explanation that I will offer, unjustified beliefs do not put you in a better evidential position with respect to believing their consequences because any evidence you have in virtue of having an unjustified belief is guaranteed to be defeated. Since the lack of justification for a belief guarantees its defeat, I will suggest, we don't need to postulate a special justification condition (much less a knowledge condition) on what it takes to count as having evidence. Why is this important? It is important because the assumption that there must be a justification condition (or perhaps a knowledge condition) on what it takes to count as having evidence places a high bar on what it takes to have evidence - such a high bar that it is difficult to see how this bar could be met in the case of basic, perceptually justified beliefs. As a result, the high bar set by this condition plays a fundamental role, I will claim, in central features of a core dialectic from the epistemology of basic perceptual belief which plays a central role in the debates between internalism and externalism, foundationalism and coherentism, and rationalism and empiricism.. (shrink)

The most cursory examination of the history of artificial intelligence highlights numerous egregious claims of its researchers, especially in relation to a populist form of ‘strong’ computationalism which holds that any suitably programmed computer instantiates genuine conscious mental states purely in virtue of carrying out a specific series of computations. The argument presented herein is a simple development of that originally presented in Putnam’s (Representation & Reality, Bradford Books, Cambridge in 1988 ) monograph, “Representation & Reality”, which if correct, has (...) important implications for turing machine functionalism and the prospect of ‘conscious’ machines. In the paper, instead of seeking to develop Putnam’s claim that, “everything implements every finite state automata”, I will try to establish the weaker result that, “everything implements the specific machine Q on a particular input set ( x )”. Then, equating Q ( x ) to any putative AI program, I will show that conceding the ‘strong AI’ thesis for Q (crediting it with mental states and consciousness) opens the door to a vicious form of panpsychism whereby all open systems, (e.g. grass, rocks etc.), must instantiate conscious experience and hence that disembodied minds lurk everywhere. (shrink)

Tarski's Undefinability of Truth Theorem comes in two versions: that no consistent theory which interprets Robinson's Arithmetic (Q) can prove all instances of the T-Scheme and hence define truth; and that no such theory, if sound, can even express truth. In this note, I prove corresponding limitative results for validity. While Peano Arithmetic already has the resources to define a predicate expressing logical validity, as Jeff Ketland has recently pointed out (2012, Validity as a primitive. Analysis 72: 421-30), no theory (...) which interprets Q closed under the standard structural rules can define nor express validity, on pain of triviality. The results put pressure on the widespread view that there is an asymmetry between truth and validity, viz. that while the former cannot be defined within the language, the latter can. I argue that Vann McGee's and Hartry Field's arguments for the asymmetry view are problematic. (shrink)

It is common to think that grounding is necessary in the sense that: if P grounds Q, then necessarily: if P, then Q. Though most accept this principle, some give counterexamples to it. Instead of straightforwardly arguing for, or against, necessity, I explain the sense in which grounding is necessary and contingent. I argue that there are two kinds of grounding: what-grounding and why-grounding, where the former kind is necessary while the latter is contingent.

The following four assumptions plausibly describe the ideal rational agent. (1) She knows what her beliefs are. (2) She desires to believe only truths. (3) Whenever she desires that P → Q and knows that P, she desires that Q. (4) She does not both desire that P and desire that ~P, for any P. Although the assumptions are plausible, they have an implausible consequence. They imply that the ideal rational agent does not believe and desire contradictory propositions. She neither (...) desires the world to be any different than she thinks it is, nor thinks it is any different than she desires it to be. The problem of preserving our intuitions about desire, without embracing the implausible conclusion, is what I call “the Wishful Thinking Puzzle.” In this paper, I examine how this puzzle arises, and I argue that it is surprisingly difficult to solve. Even the decision theoretic conception of desire is not immune to the puzzle. One approach, the contrastive conception of desire, does avoid the puzzle without being ad hoc, but it remains too inchoate to win our full confidence. (shrink)

In the presently unfolding deepfake era, previously unrelated algorithmic superintelligence possibility claims cannot be scientifically analyzed in isolation anymore due to the connected inevitable epistemic interactions that have already commenced. For instance, deep-learning (DL) related algorithmic supremacy claims may intrinsically compete with both neuro-symbolic (NS) algorithmic and further quantum (Q) algorithmic superintelligence achievement claims. Concurrently, a variety of experimental combinations of DL, NS and Q directions are conceivable. While research on these three illustrative variants did not yet offer any clear (...) mutually applicable scientific definition of a purported supremacy level framed as goal, the currently most robust scientific evaluation frameworks would i.a. require a joint testing against pre-existing non-algorithmic supremacy baselines such as e.g. conscious supremacy and cellular supremacy. This autodidactic paper explains why, for scientific reasons, all algorithmic superintelligence achievement claims in the deepfake era can be condensed and subjected to a joint scientific evaluation framework comprising multiple successive civilization-level tasks of epistemic tunneling (ET). In light of this elusive requirement, recent claims of science automation are spurious and misleading. It is vital not to misapprehend algorithmic epistemic dark matter (EDM) mining and epistemic dark energy (EDE) generation as paradigm-shifting ET events. (shrink)

Dretske makes arguments in which he suggests three levels of the intentionality of knowledge: (1) a low level belonging to law-like causal relationships between physical properties, (2) a middle level defined in terms of the intensionality of sentences describing knowledge of these properties, and (3) a highest level of human cognition. Acknowledging the need to explain humans’ analytic knowledge, however, he proposes that we know a proposition P analytically when we know that P entails Q, even though P and Q (...) are not identical. -/- I explore examples of deduction involving properties of every-day life, such as being a bachelor, being a stay-at-home mom, and being a consultant. I argue that to make these common sense inferences, the average person has to be aware of both analytical entailments and propositional entailments. While the former simply is knowing that if Emily is a stay-at-home mom, then Emily is female, for example, the latter requires us to be conscious of the (often complex) logical structure given to our beliefs by the deductive connectives AND, NOT, and OR. From an empirical standpoint, there are two general possibilities for reductive accounts of these kinds of awareness. One would be a counterfactually defined set of causal criteria, such as Dretske’s. The other would involve statistical patterns of synaptic connections between neural phenomena, whose firings represent our concepts for AND, NOT, and OR. I argue that neither of these reductive explanations is viable; and that in order to explain the success of our inferences, we must appeal to two kinds of higher cognitive intentionality. First, we usually have some conscious awareness of analytical and propositional entailments when we engage in common sense-based deduction. Second, we often have a conscious intention to think deductively during these inferences, which drives our success. (shrink)

What is the relationship between saying ‘I know that Q’ and guaranteeing that Q? John Austin, Roderick Chisholm and Wilfrid Sellars all agreed that there is some important connection, but disagreed over what exactly it was. In this paper I discuss each of their accounts and present a new one of my own. Drawing on speech-act theory and recent research on the epistemic norms of speech acts, I suggest that the relationship is this: by saying ‘I know that Q’, you (...) represent yourself as having the authority to guarantee that Q. (shrink)

Spinoza's account of belief entails that if A has two ideas, p and q, with incompatible content, A believes that p if the idea of p is stronger than the idea of q. This seems to leave little space for dominant non-beliefs, or cases in which there is discord between one's beliefs and one's affective-behavioral responses. And yet Spinoza does allow for two classes of dominant non-beliefs: efficacious fictions [fictiones] and ideas that conduce to akrasia. I show how Spinoza can (...) account for dominant non-beliefs within his model of cognition by distinguishing between the doxastic and the affective powers of ideas and by suggesting that doxastic power is best understood diachronically. While other scholars have stressed the elegance of Spinoza's account of ideas, this paper highlights the sophistication and flexibility of his account. (shrink)

Even if our justified beliefs are closed under known entailment, there may still be instances of transmission failure. Transmission failure occurs when P entails Q, but a subject cannot acquire a justified belief that Q by deducing it from P. Paradigm cases of transmission failure involve inferences from mundane beliefs (e.g., that the wall in front of you is red) to the denials of skeptical hypotheses relative to those beliefs (e.g., that the wall in front of you is not white (...) and lit by red lights). According to the Bayesian explanation, transmission failure occurs when (i) the subject’s belief that P is based on E, and (ii) P(Q|E) P(Q). No modifications of the Bayesian explanation are capable of accommodating such cases, so the explanation must be rejected as inadequate. Alternative explanations employing simple subjunctive conditionals are fully capable of capturing all of the paradigm cases, as well as those missed by the Bayesian explanation. (shrink)

Our pollution of the environment seems set to lead to widespread problems in the future, including disease, scarcity of resources, and bloody conflicts. It is natural to think that we are required to stop polluting because polluting harms the future individuals who will be faced with these problems. This natural thought faces Derek Parfit’s famous Non-Identity Problem ( 1984 , pp. 361–364). The people who live on the polluted earth would not have existed if we had not polluted. Our polluting (...) behaviour does not make these individuals worse off. It may therefore seem that we do not harm them by polluting. Parfit argues that we should replace person-affecting principles with an impersonal principle of beneficence, Principle Q ( 1984 , p. 360.). I argue that Principle Q cannot give an adequate account of our duties to refrain from polluting. I consider attempts to solve the Non-Identity Problem by denying that to harm someone an agent must make them worse off. I argue that such responses provide a partial solution to the Non-Identity Problem. They do show that we harm future individuals in a morally relevant sense by polluting. Nonetheless, this is only a partial solution. The Non-Identity Problem still suggests that our harm-based reasons not to pollute are less strong than we intuitively believe. Thus on its own an appeal to the claim that we harm future individuals is not able to give a fully satisfactory account of why we are required not to pollute. (shrink)

According to comparativism, degrees of belief are reducible to a system of purely ordinal comparisons of relative confidence. (For example, being more confident that P than that Q, or being equally confident that P and that Q.) In this paper, I raise several general challenges for comparativism, relating to (i) its capacity to illuminate apparently meaningful claims regarding intervals and ratios of strengths of belief, (ii) its capacity to draw enough intuitively meaningful and theoretically relevant distinctions between doxastic states, and (...) (iii) its capacity to handle common instances of irrationality. (shrink)

On the standard analysis, a counterfactual conditional such as “If P had been the case, then Q would have been the case” is true in the actual world if, in all nearest possible worlds in which its antecedent (P) is true, its consequent (Q) is also true. Despite its elegance, this analysis faces a difficulty if the laws of nature are deterministic. Then the antecedent could not have been true, given prior conditions. So, it is unclear what the relevant “nearest (...) possible worlds” are. David Lewis suggested that they are ones in which a local breach of the laws occurred: a “small miracle”. Others have suggested that they are ones in which the initial conditions were different (“backtracking”). I propose another response. It builds on the idea that the special sciences, where counterfactual reasoning is most common, operate at a higher level of description from fundamental physics, and that the world may behave indeterministically at higher levels even if it behaves deterministically at the fundamental physical one. The challenge from determinism can then be bypassed for many special-science counterfactuals. (shrink)